var not_ok;;